A New Fast Tableau - Based Decision Procedurefor an Unquanti ed Fragment of Set Theory ?

نویسندگان

  • Domenico Cantone
  • Calogero G. Zarba
چکیده

In this paper we present a new fast tableau-based decision procedure for the ground set-theoretic fragment Multi-Level Syllogistic with Singleton (in short MLSS) which avoids the interleaving of model checking steps. The underlying tableau calculus is based upon the system KE.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory

In this paper we present a new fast tableau-based decision procedure for the ground set-theoretic fragment Multi-Level Syllogistic with Singleton (in short MLSS) which avoids the interleaving of model checking steps. The underlying tableau calculus is based upon the system KE.

متن کامل

A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification

We extend the unquantiied set-theoretic fragment discussed in 1] with a restricted form of quantiication, we prove decidability of the resulting fragment by means of a tableau calculus and we address the eeciency problem of the underlying decision procedure, by showing that the model-checking steps used in 1] are not necessary.

متن کامل

A tableau - based decision procedure for afragment of set theory involving a restrictedform of quanti cation ? Domenico Cantone 1 and Calogero

We extend the unquantiied set-theoretic fragment discussed in 1] with a restricted form of quantiication, we prove decidability of the resulting fragment by means of a tableau calculus and we address the eeciency problem of the underlying decision procedure, by showing that the model-checking steps used in 1] are not necessary.

متن کامل

An extended hesitant group decision-making technique based on the prospect theory for emergency situations

Throughout the present manuscript, we are going to introduce a novel group emergency decision-making technique in which the application of prospect theory explains the psychological behaviour of the decision maker who is affected by the hesitancy and uncertainty of cognition in decision making problems.\Instead of usual aggregation procedure, we implement here a new fusion technique that ...

متن کامل

Solvable Set/Hyperset Contexts: III. A Tableau System for a Fragment of Hyperset Theory

We propose a decision procedure for a fragment of the hyperset theory, HMLSS, which takes inspiration from a tableau saturation strategy presented in [3] for the fragment MLSS of well-founded set theory. The procedure alternates deduction and model checking steps, driving the correct application of otherwise very liberal rules, thus significantly speeding up the process of discovering a satisfy...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998